Nu är de officiella – alla med 5G-stöd Xiaomi lanserar Mi 10 och Mi 10 Pro officiellt – samt billigare Mi 10 Lite